EN FR
EN FR


previous Previous | up Home | Next next


Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

  • S. Boldo, vice-president of the 28th “Journées Francophones des Langages Applicatifs” (JFLA 2017)

  • J.-C. Filliâtre, organizer of EJCP (École Jeunes Chercheurs en Programmation du GDR GPL) at Lille on June 27–July 1, 2016. 42 participants. http://ejcp2016.univ-lille1.fr/

  • A. Paskevich, program chair of the 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017), in collaboration with Thomas Wies (NYU).

Member of the Organizing Committees

  • S. Conchon, local chair for the 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2017), held in Paris, France in January 2017.

  • G. Melquiond, web chair for the 23rd IEEE Symposium on Computer Arithmetic (Arith 23), held in Silicon Valley, USA in July 2016.

  • S. Boldo, member of the organization committee of the Inria Scientific Days in Rennes (June 2016).

Scientific Events Selection

Member of the Conference Program Committees

  • S. Boldo, PC of the 23rd IEEE Symposium on Computer Arithmetic (ARITH 2016).

  • S. Boldo, PC of the 9th International Workshop on Numerical Software Verification (NSV 2016).

  • S. Boldo, PC of the 1st Workshop on High-Consequence Control Verification (HCCV 2016).

  • S. Boldo, PC of the 27th “Journées Francophones des Langages Applicatifs” (JFLA 2016).

  • A. Charguéraud, PC of the International Workshop on Hammers for Type Theories (HaTT 2016).

  • A. Charguéraud, PC of the Workshop on ML (ML 2016).

  • G. Melquiond, PC of the 3rd International Workshop on Coq for Programming Languages (CoqPL 2017).

Reviewer

The members of the Toccata team have reviewed papers for numerous international conferences.

Journal

Member of the Editorial Boards

  • G. Melquiond is a member of the editorial board of Reliable Computing.

  • S. Boldo is member of the editorial board of Binaire http://binaire.blog.lemonde.fr, the blog of the French Computer Science Society.

  • J.-C. Filliâtre is member of the editorial board of the Journal of Functional Programming.

  • C. Paulin is member of the editorial board of the Journal of Formalized Reasoning.

Reviewer - Reviewing Activities

The members of the Toccata team have reviewed numerous papers for numerous international journals.

Invited Talks

  • S. Boldo gave an invited lecture at Effective Analysis: Foundations, Implementations, Certification in January 2016 at Marseille, France.

  • S. Boldo gave a keynote talk in Cambridge at a local workshop about Testing and Verification in Computational Science.

  • A. Charguéraud gave an invited talk at the Royal Society specialist meeting “Verified trustworthy software systems”, presenting an interactive interpreter for the semantics of JavaScript, in London, on April 7th.

  • S. Conchon gave an invited lecture “Model Checking Modulo Theories with Cubicle” at the 2016 edition of the School for Junior Researchers in Programming (École Jeunes Chercheurs en Programmation, EJCP 2016, http://ejcp2016.univ-lille1.fr/) held in Lille, France.

  • A. Paskevich gave an invited lecture “Deductive Program Verification using Why3” at the 2016 edition of the School for Junior Researchers in Programming (École Jeunes Chercheurs en Programmation, EJCP 2016, http://ejcp2016.univ-lille1.fr/) held in Lille, France.

Leadership within the Scientific Community

  • C. Paulin, scientific leader of Labex DigiCosme http://labex-digicosme.fr (Digital Worlds: distributed data, programs and architectures), until June 2016. It is a project launched by the French Ministry of research and higher education as part of the program “Investissements d'avenir”, it involves the 14 research units in computer science and communications from the “Paris-Saclay” cluster.

  • C. Paulin, dean of the Faculty of Sciences of Université Paris-Sud, since July 2016.

Scientific Expertise

  • S. Boldo, member of the reviewing board for the ANR (first step in 2016).

  • S. Boldo, member of the 2016 committee for the Gilles Kahn PhD award of the French Computer Science Society.

  • S. Conchon and A. Paskevich, members of the “commission consultative de spécialistes de l'université”, Section 27, University Paris-Sud since December 2014.

  • C. Marché, president of the evaluation committee of the joint Digiteo-DigiCosme call for projects https://digicosme.lri.fr/AAPDigiteoDigiCosme2016. The committee selected 10 thesis projects for funding, among 52 submissions. The committee also selected to support 10 scientific events in the Île-de-France region.

  • C. Marché, member of the scientific commission of Inria-Saclay, in charge of selecting candidates for PhD grants, Post-doc grants, temporary leaves from universities (“délégations”)

  • C. Marché, member of the “Bureau du Comité des Projets” of Inria-Saclay, in charge of examining proposals for creation of new Inria project-teams.

  • C. Marché, member of a hiring committee for an associate professor position in computer science at CNAM, Paris, France. (sep-oct 2016)

Research Administration

  • S. Boldo, member of the CCD, commission consultative des doctorants.

  • S. Boldo, member of the CLFP, comité local de formation permanente.

  • S. Boldo, scientific head for Saclay for the MECSI group for networking about computer science popularization inside Inria.

  • A. Charguéraud is vice-president of France-ioi, a non-profit organization in charge of the selection and the training of the French team to the International Olympiads in Informatics (IOI). France-ioi also provides online exercises in programming and algorithmics—in average, over 100,000 such exercises are solved every month on the website.

  • A. Charguéraud is a board member of the non-profit organization Animath, which aims at developing interest in mathematics among young students.

  • A. Charguéraud and G. Melquiond are members of the committee for the monitoring of PhD students (“commission de suivi des doctorants”).

  • J.-C. Filliâtre is correcteur au concours d'entrée à l'École Polytechnique et aux ENS (computer science examiner for the entrance exam at École Polytechnique and Écoles Normales Supérieures) since 2008.

  • C. Marché, director of the ProofInUse Joint Laboratory between Inria and AdaCore, http://www.spark-2014.org/proofinuse

  • C. Paulin, member of the “commission consultative de spécialistes de l'université”, Section 27, University Paris-Sud since April 2010. C. Paulin is the president of this committee since December 2014.

  • C. Paulin, chaired the hiring committee for a professor position in computer science at Université Paris-Sud.

  • J.-C. Filliâtre, member of the board of GDR GPL, since January 2016.



previous Previous | up Home | Next next